Type theory - PDFSEARCH.IO - Document Search Engine

Type theory
Results: 3552

#	Item
421	Non-wellfounded trees in Homotopy Type Theory∗ Benedikt Ahrens1 , Paolo Capriotti2 and R´egis Spadotti1 1 2 Add to Reading List Source URL: benedikt-ahrens.de Language: English - Date: 2015-06-03 05:24:49
422	Deriving a Relationship from a Single Example Neil Mitchell Abstract Given an appropriate domain specific language (DSL), it is possible Add to Reading List Source URL: ndmitchell.com Language: English - Date: 2016-04-19 09:56:22 Software engineering Computer programming Declarative programming Functional programming Data types Type theory Programming language comparisons Functional languages Monad Generic programming Type class Algebraic data type
423	Julia: A Fast Dynamic Language for Technical Computing Jeff Bezanson∗ MIT Stefan Karpinski† MIT Add to Reading List Source URL: karpinski.org Language: English - Date: 2016-04-13 16:19:52 Software engineering Computer programming Computing Type theory Data types Polymorphism Object-oriented programming Subroutines Covariance and contravariance Parameter Type system Anonymous function
424	The Seven Virtues of Simple Type Theory∗ William M. Farmer† McMaster University 20 DecemberAbstract Add to Reading List Source URL: imps.mcmaster.ca Language: English - Date: 2016-05-23 09:51:42
425	COQHOTT    A NEW PROOF-ASSISTANT THAT REVISITS  THE THEORETICAL FOUNDATIONS OF COQ USING   HOMOTOPY TYPE THEORY  Add to Reading List Source URL: web.emn.fr Language: English - Date: 2015-05-11 05:01:14
426	Major predictions of the BSMSupergravitation unified theory: Space energy of non-EM type; supercommunication by longitudinal waves; possibility to control the gravitational mass of material object Stoyan Sarg Add to Reading List Source URL: www.helical-structures.org Language: English - Date: 2006-10-07 22:37:37
427	Appendix by D. Zagier The Eichler-Selberg Trace Formula on SLiZ) Throughout this appendix we let r=r(1)=SL 2 (Z). We let Fbe a fundamental domain for r in D. We fix a weight k even ~4. We write T(m) instead of Tk(m) for Add to Reading List Source URL: people.mpim-bonn.mpg.de Language: English - Date: 2014-05-15 08:11:02 Mathematical analysis Mathematics Operator theory Complex analysis Harmonic analysis Integral calculus Order of integration Moduli theory Singular integral operators of convolution type Oscillator representation
428	Journal of Abnormal Psychology 2003, Vol. 112, No. 3, 457– 468 Copyright 2003 by the American Psychological Association, Inc843X/03/$12.00 DOI: 843X Add to Reading List Source URL: www-stat.wharton.upenn.edu Language: English Statistics Psychiatry Hypothesis testing Statistical theory Psychosis Design of experiments Machine learning Psychiatric diagnosis Schizotypy Cluster analysis Type I and type II errors Statistical power
429	Gradual Typing for Objects Jeremy Siek1 and Walid Taha2 , 1 University of Colorado, Boulder, CO 80309, USA Add to Reading List Source URL: ecee.colorado.edu Language: English Type theory Software engineering Programming language theory Mathematical logic Type systems Data types Gradual typing Subtyping Symbol Type safety Model theory Type inference
430	Learning commutativity specifications a ct * Consi se Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2015-05-29 09:22:24 Logic Model theory Mathematical logic Metalogic First-order logic Constructible universe Type NIP Structure Confidence interval Well-formed formula Linear temporal logic

UPDATE